21. Interactive computer graphics : data structures, algorithms, languages
پدیدآورنده : Giloi, Wolfgang.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer graphics,، Interactive computer systems,، Algorithms,، Programming languages )Electronic computers(,، Data structures )Computer science(
رده :
T
385
.
G54
22. Introduction to computer science; problems, algorithms, languages, information and computers
پدیدآورنده : / [by] John k. Rice [and] John R. Rice. Algol and Fortran appendices by Edouard Desautels,Rice
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electronic digital Computers,Algorithms,Programming language (Electronic Computers)
رده :
QA
76
.
5
.
R472
23. LYaPAS: a programming language for logic and coding algorithms
پدیدآورنده : Edited by M. A. Gavrilov and A. D. Zakrevskii. Translated by Morton Nadler
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Programming languages )Electronic computers(,Computer algorithms,Switching theory
رده :
QA
.
L613
76
.
5
24. LYaPAS: a programming language for logic and coding algorithms
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(,، Computer algorithms,، Switching theory
رده :
QA
76
.
5
.
L6313
25. Languages and compilers for parallel computing :
پدیدآورنده : James Brodman, Peng Tu (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers), Congresses.,Parallel programming (Computer science), Congresses.,Parallelizing compilers, Congresses.
رده :
QA76
.
58
26. Mastering Rust :
پدیدآورنده : Vesa Kaihlavirta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Application software-- Development.,Computer programming.,Programming languages (Electronic computers),Application software-- Development.,Computer programming.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- General.,COMPUTERS-- Programming-- Object Oriented.,Programming languages (Electronic computers)
رده :
QA76
.
7
27. Masterminds of programming /
پدیدآورنده : edited by Federico Biancuzzi and Shane Warden.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer programmers, Interviews.,Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M37
2009
28. Masterminds of programming /
پدیدآورنده : edited by Federico Biancuzzi and Shane Warden.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer programmers, Interviews.,Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M37
2009
29. Mathematical Foundations of Computer Science 1986 :
پدیدآورنده : edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA267
.
E358
1986
30. Mes premieres constructions de programmes
پدیدآورنده : Gerbier, A
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(,، Algorithms
رده :
QA
76
.
G47
31. Methods of algorithmic language implementation
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(,، Algorithms
رده :
QA
76
.
5
.
S94
1975
32. Parallel Programming with Co-Arrays
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),A Multifrontal Solver.,COMPUTERS-- Programming Languages-- General.,Execution Control.,Linear Algebra.,MATHEMATICS-- Number Systems.,OBJECT-ORIENTED DESIGN.,Parallel processing (Electronic computers),THE COARRAY PROGRAMMING MODEL.
رده :
QA76
.
642
.
N867
2019
33. Parallel computing technologies :
پدیدآورنده : Victor Malyshkin (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel computers, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
34. Practical PHP 7, MySQL 8, and MariaDB website databases :
پدیدآورنده : Adrian W. West, Steve Prettyman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : MariaDB.,MySQL (Electronic resource),MariaDB.,MySQL (Electronic resource),PHP (Computer program language),Web site development.,Algorithms & data structures.,COMPUTERS-- Programming Languages-- PHP.,COMPUTERS-- Programming Languages-- SQL.,PHP (Computer program language),Programming & scripting languages: general.,Web programming.,Web site development.
رده :
TK5105
.
888
35. Practical TLA+ :
پدیدآورنده : Hillel Wayne.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programming languages (Electronic computers),SDL (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),SDL (Computer program language),Software Engineering.
رده :
QA76
.
7
36. Proceedings Sixth International Conference on Tools With Artificial Intelligence November 6-9, 1994 New Orleans, Louisiana
پدیدآورنده : Sponsored by IEEE Computer Society
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Artificial intelligence - Data processing - Congresses , Software engineering - Congresses , Computer architecture - Congresses , Programming languages )Electronic computers( - Congresses , Algorithms - Congresses
رده :
Q
336
.
I356
1994
37. RIMS Symposia on Software Science and Engineering II :
پدیدآورنده : edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6
E358
1986
38. Semantic techniques in quantum computation /
پدیدآورنده : edited by Simon Gay, Ian Mackie.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
رده :
QA76
.
889
.
S36
2010
39. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings
پدیدآورنده : Roberto Giacobazzi )ed.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
I5733
2004
40. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
76
.
7
.
S9
1971
